University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
111	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
112	On Symmetric Circuits and FPC Anuj Dawar University of Cambridge Computer Laboratory joint work with Matthew Anderson Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:59 Complexity classes Theory of computation Theoretical computer science Circuit complexity Computational complexity theory Computer science Boolean circuit Logic in computer science NC P Circuit FO
113	Towards a UbiSafe Environment Using Rules Tope Omitola, University of Cambridge, Computer Laboratory, Abstract • creation of new applications and codes in the Add to Reading List Source URL: 2006.ruleml.org Language: English - Date: 2014-02-20 09:22:47
114	AUTOMATIC IN-FLIGHT REPAIR OF FPGA COSMIC RAY DAMAGE Sarah THOMPSON, Alan MYCROFT Computer Laboratory, University of Cambridge, William Gates Building, JJ Thomson Avenue, Cambridge, CB3 0FD, UK Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:55
115	Dependable Software Needs Pervasive Debugging Timothy L. Harris University of Cambridge Computer Laboratory J J Thomson Avenue, Cambridge, UK Add to Reading List Source URL: timharris.uk Language: English - Date: 2014-08-25 06:24:52
116	Low-Cost Traffic Analysis of Tor Steven J. Murdoch and George Danezis University of Cambridge, Computer Laboratory 15 JJ Thomson Avenue, Cambridge CB3 0FD United Kingdom {Steven.Murdoch,George.Danezis}@cl.cam.ac.uk Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2013-10-10 06:49:00 Computing Internet Network architecture Internet protocols Secure communication Dark web Internet security Tor Onion routing Traffic analysis Proxy server Transmission Control Protocol
117	Location Based Placement of Whole Distributed Systems David Spence Jon Crowcroft University of Cambridge Computer Laboratory Add to Reading List Source URL: timharris.uk Language: English - Date: 2014-08-25 06:24:52
118	Xen and the Art of Virtualization Paul Barham∗, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer†, Ian Pratt, Andrew Warfield University of Cambridge Computer Laboratory 15 JJ Thomson Av Add to Reading List Source URL: timharris.uk Language: English - Date: 2014-08-25 06:24:52
119	XenoSearch: Distributed Resource Discovery in the XenoServer Open Platform David Spence and Tim Harris University of Cambridge Computer Laboratory J J Thomson Avenue, Cambridge, UK, CB3 0FD E-mail: firstname.lastname @ Add to Reading List Source URL: timharris.uk Language: English - Date: 2014-08-25 06:24:52
120	PDF Document Add to Reading List Source URL: www.susecon.com Language: English - Date: 2014-12-12 11:37:03 Software System software Linux Foundation University of Cambridge Computer Laboratory Xen SUSE Linux SUSE Linux Enterprise Server Virtual Machine Manager Hyper-V GNU GRUB Libvirt Hypervisor

UPDATE